Type inference - PDFSEARCH.IO - Document Search Engine

Type inference
Results: 490

#	Item
91	Type Inference and Optimisation for an Impure World. Ben Lippmeier May, 2010 Add to Reading List Source URL: benl.ouroborus.net Language: English - Date: 2013-04-29 00:13:26
92	PDF Document Add to Reading List Source URL: mp.binaervarianz.de Language: English - Date: 2012-05-31 05:21:23 Software engineering Type theory Computer programming Statistics Subroutines Quantitative marketing research Statistical inference Parameter Variable Type system Application programming interface Confidence interval
93	PDF Document Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2015-02-28 14:55:06 Type theory Functional languages Type systems Procedural programming languages Lambda calculus Type inference Monad ML HindleyMilner type system Functional programming Parallel computing Unification
94	Philosophy of Science, 1967, Vol. 34, 103–115. #74 Philosophy of Science June, 1967 Add to Reading List Source URL: www.tc.umn.edu Language: English - Date: 2002-11-18 15:35:49 Statistical inference Statistical tests Psychometrics Statistical hypothesis testing Null hypothesis Statistical significance Statistical power Type I and type II errors F-test Statistics Hypothesis testing Design of experiments
95	Extending Dylan’s Type System for Better Type Inference and Error Detection Hannes Mehnert ∗ IT University of Copenhagen, Denmark Add to Reading List Source URL: www.itu.dk Language: English - Date: 2012-02-16 22:55:34
96	Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses Pedro LOPEZ-GARCIA1,2 , Francisco BUENO3 and Manuel HERMENEGILDO1,3 1 Add to Reading List Source URL: clip.dia.fi.upm.es - Date: 2009-08-18 19:10:21
97	Tracing Ambiguity in GADT Type Inference ML Workshop 2012, Copenhagen Jacques Garrigue & Didier R´ emy Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2012-09-13 08:07:44
98	JavaScript Type Inference Using Dynamic Analysis Morten Passow Odgaard, EVU Master Thesis Master of Information Technology, Software Development, Aarhus University June 2014 Add to Reading List Source URL: cs.au.dk Language: English - Date: 2014-08-21 09:40:28
99	Practical Static Ownership Inference Ana Milanova and Yin Liu Rensselaer Polytechnic Institute, Troy NY 12110, USA, , Abstract. There are many proposals for ownership type systems desi Add to Reading List Source URL: www.cs.rpi.edu Language: English - Date: 2010-03-31 13:04:11
100	Package ‘lqa’ February 20, 2015 Type Package Title Penalized Likelihood Inference for GLMs VersionDate Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2015-02-19 18:19:34

UPDATE